Graphical and Formal Knowledge Specification with Karl
نویسنده
چکیده
The paper discusses an approach which allows the specification of a knowledge-based system (kbs) at several levels. The Knowledge Acquisition and Representation Language KARL combines a description of a kbs at the conceptual level supported by graphical modelling primitives with a description at a formal and executable level. Therefore, a KARLspecification can be used as a means for communication between expert and knowledge engineer as well as an intermediate representation, closing the conceptual gap between an informal specification and an implementation of a kbs. In the paper, KARL is mainly discussed as a graphical modelling language .
منابع مشابه
Graphical and Formal Knowledge Specification with Karl1
The paper discusses an approach which allows the specification of a knowledge-based system (kbs) at several levels. The Knowledge Acquisition and Representation Language KARL combines a description of a kbs at the conceptual level supported by graphical modelling primitives with a description at a formal and executable level. Therefore, a KARLspecification can be used as a means for communicati...
متن کاملG-KARL: A Graphical, Formal, and Executable Specification Language
In this paper we present the language G-KARL. G-KARL allows to describe the static, the functional and the dynamic view to a knowledge based system (kbs) graphically. This graphical representation makes the communication between the expert and the knowledge engineer easier. The underlying conceptual model for G-KARL is derived from the KADS model of expertise. Every primitive of G-KARL may be m...
متن کاملThe Specification Language KARL and Its Declarative Semantics
The Knowledge Acquisition and Representation Language (KARL) combines a description of a knowledge-based system (kbs) at the conceptual level (a so-called model of expertise ) with a description at a formal and executable level. It is a specification language which allows the precise and unique description of a kbs independently from implementational details. In the paper, KARL is mainly discus...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملA Comparison of Two Approaches to Model-Based Knowledge Acquisition
This paper discusses and compares two different approaches to model-based knowledge acquisition. That is, we regard the Model-based and Incremental Knowledge Engineering (MIKE) approach and the Configurable Role-limiting Method approach (CRLM). MIKE is based on the distinction of different phases in the software development process. It uses the formal and operational knowledge specification lan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994